1.

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

2.

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

3.

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

4.

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

5. A Concise Introduction to Mathematical Logic

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.

6. A first journey through logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik

رده :
QA9
.
H52445
2019

7. A sequential introduction to real analysis /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematical analysis,Precalculus

8. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
Mo-T

9. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
v
.
18

10. Advanced mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.

رده :
QA37
.
3

11. Advanced mathematics :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;

12. BL

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

13. Bridge to abstract mathematics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory

14. Cold war history

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

15. Discrete and decision

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع : Mathematics -- Textbooks,Logic, Symbolic and mathematical

رده :
510
B655d

16. Introduction to mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
QA9
.
M4
2015

17. Introduction to mathematical proofs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.

رده :
QA9
.
54
.
R63
2010

18. Logic and discrete mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.

19. <The> Elements of Advanced Mathematics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی

رده :
E-Book
,

20. Theorems, corollaries, lemmas, and methods of proof /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks

رده :
QA9
.
54
.
R668
2006